(((high jumper's body proportions))